机译:格有限自动机的最小化及其在格语言分解中的应用
机译:Feferman-Vaught定理在无限字母表上单词的自动机和逻辑中的应用
机译:一元字母自动机和语言的研究
机译:格自动机:无限字母语言的表示形式及其在验证中的一些应用
机译:哈萨克斯坦的语言政策和语言规划:关于从西里尔字母向拉丁字母的转换建议。
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:FEFERmaN-VaUGHT定理在无限字母表单词的自动机和逻辑上的应用
机译:使用非确定性无限状态自动机验证安全属性。